Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often implemented cooperatively by a compiler and a low-level compartmentalization mechanism. However, the formal guarantees provided by such compartmentalizing compilation have seen surprisingly little investigation. We propose a new security property, secure compartmentalizing compilation (SCC), that formally characterizes the guarantees provided by compartmentalizing compilation and clarifies its attacker model. We reconstruct our property by starting from the well-established notion of fully abstract compilation, then identifying and lifting three important limitations that make standard full abstraction unsuitable for compartmentalization. The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized abstract machine.Comment: Nit

Macroscopic Manifestation of Domain-wall Magnetism and Magnetoelectric Effect in a N\'eel-type Skyrmion Host

We report a magnetic state in GaV$_4$Se$_8$ which emerges exclusively in samples with mesoscale polar domains and not in polar mono-domain crystals. Its onset is accompanied with a sharp anomaly in the magnetic susceptibility and the magnetic torque, distinct from other anomalies observed also in polar mono-domain samples upon transitions between the cycloidal, the N\'eel-type skyrmion lattice and the ferromagnetic states. We ascribe this additional transition to the formation of magnetic textures localized at structural domain walls, where the magnetic interactions change stepwise and spin textures with different spiral planes, hosted by neighbouring domains, need to be matched. A clear anomaly in the magneto-current indicates that the domain-wall-confined magnetic states also have strong contributions to the magnetoelectric response. We expect polar domain walls to commonly host such confined magnetic edge states, especially in materials with long wavelength magnetic order

Constitutively decreased TGFBR1 allelic expression is a common finding in colorectal cancer and is associated with three TGFBR1 SNPs

Purpose: Constitutively decreased TGFBR1 allelic expression is emerging as a potent modifier of colorectal cancer risk in mice and humans. This phenotype was first observed in mice, then in lymphoblastoid cell lines from patients with microsatellite stable colorectal tumors. Patients and Methods: We assessed the frequency of constitutively decreased TGFBR1 allelic expression and association with SNPs covering the TGFBR1 locus using RNA and DNA extracted from the peripheral blood lymphocytes of 118 consecutive patients with biopsy-proven adenocarcinoma of the colon or the rectum. Results: We found that 11(9.3%) of 118 patients exhibited decreased TGFBR1 allelic expression (TGFBR1 ASE). TGFBR1 ASE was strongly associated with three SNPs in linkage disequilibrium with each other: rs7034462 (p = 7.2 × 10-4), TGFBR1*6A (p = 1.6 × 10-4) and rs11568785 (p = 1.4 × 10-4). Conclusion: These results confirm the high prevalence of constitutively decreased TGFBR1 allelic expression among patients with colorectal cancer. The association of this phenotype with TGFBR1*6A, rs7034462 and rs1156875 suggests an association between TGFBR1 SNPs and colorectal cancer, which warrants additional studies

Hormone Therapy and the Risk of Breast Cancer in BRCA1 Mutation Carriers

Background: Hormone therapy (HT) is commonly given to women to alleviate the climacteric symptoms associated with menopause. There is concern that this treatment may increase the risk of breast cancer. The potential association of HT and breast cancer risk is of particular interest to women who carry a mutation in BRCA1 because they face a high lifetime risk of breast cancer and because many of these women take HT after undergoing prophylactic surgical oophorectomy at a young age. Methods: We conducted a matched case-control study of 472 postmenopausal women with a BRCA1 mutation to examine whether or not the use of HT is associated with subsequent risk of breast cancer. Breast cancer case patients and control subjects were matched with respect to age, age at menopause, and type of menopause (surgical or natural). Odds ratios (ORs) and 95% confidence intervals (CIs) were estimated with conditional logistic regression. Statistical tests were two-sided. Results: In this group of BRCA1 mutation carriers, the adjusted OR for breast cancer associated with ever use of HT compared with never use was 0.58 (95% CI = 0.35 to 0.96; P =. 03). In analyses by type of HT, an inverse association with breast cancer risk was observed with use of estrogen only (OR = 0.51, 95% CI = 0.27 to 0.98; P =. 04); the association with use of estrogen plus progesterone was not statistically significant (OR = 0.66, 95% CI = 0.34 to 1.27; P =. 21). Conclusion: Among postmenopausal women with a BRCA1 mutation, HT use was not associated with increased risk of breast cancer; indeed, in this population, it was associated with a decreased risk

Characterization of the colorectal cancer–associated enhancer MYC-335 at 8q24: the role of rs67491583

Recent genome-wide association studies have identified multiple regions at 8q24 that confer susceptibility to many cancers. In our previous work, we showed that the colorectal cancer (CRC) risk variant rs6983267 at 8q24 resides within a TCF4 binding site at the MYC-335 enhancer, with the risk allele G having a stronger binding capacity and Wnt responsiveness. Here, we searched for other potential functional variants within MYC-335. Genetic variation within MYC-335 was determined in samples from individuals of European, African, and Asian descent, with emphasis on variants in putative transcription factor binding sites. A 2-bp GA deletion rs67491583 was found to affect a growth factor independent (GFI) binding site and was present only in individuals with African ancestry. Chromatin immunoprecipitation performed in heterozygous cells showed that the GA deletion had an ability to reduce binding of the transcriptional repressors GFI1 and GFI1b. Screening of 1,027 African American colorectal cancer cases and 1,773 healthy controls did not reveal evidence for association (odds ratio: 1.17, 95% confidence interval: 0.97–1.41, P = 0.095). In this study, rs67491583 was identified as another functional variant in the CRC-associated enhancer MYC-335, but further studies are needed to establish the role of rs67491583 in the colorectal cancer predisposition of African Americans

Development and Validation of the Gene Expression Predictor of High-grade Serous Ovarian Carcinoma Molecular SubTYPE (PrOTYPE).

PURPOSE: Gene expression-based molecular subtypes of high-grade serous tubo-ovarian cancer (HGSOC), demonstrated across multiple studies, may provide improved stratification for molecularly targeted trials. However, evaluation of clinical utility has been hindered by nonstandardized methods, which are not applicable in a clinical setting. We sought to generate a clinical grade minimal gene set assay for classification of individual tumor specimens into HGSOC subtypes and confirm previously reported subtype-associated features. EXPERIMENTAL DESIGN: Adopting two independent approaches, we derived and internally validated algorithms for subtype prediction using published gene expression data from 1,650 tumors. We applied resulting models to NanoString data on 3,829 HGSOCs from the Ovarian Tumor Tissue Analysis consortium. We further developed, confirmed, and validated a reduced, minimal gene set predictor, with methods suitable for a single-patient setting. RESULTS: Gene expression data were used to derive the predictor of high-grade serous ovarian carcinoma molecular subtype (PrOTYPE) assay. We established a de facto standard as a consensus of two parallel approaches. PrOTYPE subtypes are significantly associated with age, stage, residual disease, tumor-infiltrating lymphocytes, and outcome. The locked-down clinical grade PrOTYPE test includes a model with 55 genes that predicted gene expression subtype with >95% accuracy that was maintained in all analytic and biological validations. CONCLUSIONS: We validated the PrOTYPE assay following the Institute of Medicine guidelines for the development of omics-based tests. This fully defined and locked-down clinical grade assay will enable trial design with molecular subtype stratification and allow for objective assessment of the predictive value of HGSOC molecular subtypes in precision medicine applications.See related commentary by McMullen et al., p. 5271.Core funding for this project was provided by the National Institutes of Health (R01-CA172404, PI: S.J. Ramus; and R01-CA168758, PIs: J.A. Doherty and M.A.Rossing), the Canadian Institutes for Health Research (Proof-of-Principle I program, PIs: D.G.Huntsman and M.S. Anglesio), the United States Department of Defense Ovarian Cancer Research Program (OC110433, PI: D.D. Bowtell). A. Talhouk is funded through a Michael Smith Foundation for Health Research Scholar Award. M.S. Anglesio is funded through a Michael Smith Foundation for Health Research Scholar Award and the Janet D. Cottrelle Foundation Scholars program managed by the BC Cancer Foundation. J. George was partially supported by the NIH/National Cancer Institute award number P30CA034196. C. Wang was a Career Enhancement Awardee of the Mayo Clinic SPORE in Ovarian Cancer (P50 CA136393). D.G. Huntsman receives support from the Dr. Chew Wei Memorial Professorship in Gynecologic Oncology, and the Canada Research Chairs program (Research Chair in Molecular and Genomic Pathology). M. Widschwendter receives funding from the European Union’s Horizon 2020 European Research Council Programme, H2020 BRCA-ERC under Grant Agreement No. 742432 as well as the charity, The Eve Appeal (https://eveappeal.org.uk/), and support of the National Institute for Health Research (NIHR) and the University College London Hospitals (UCLH) Biomedical Research Centre. G.E. Konecny is supported by the Miriam and Sheldon Adelson Medical Research Foundation. B.Y. Karlan is funded by the American Cancer Society Early Detection Professorship (SIOP-06-258-01-COUN) and the National Center for Advancing Translational Sciences (NCATS), Grant UL1TR000124. H.R. Harris is 20 supported by the NIH/National Cancer Institute award number K22 CA193860. OVCARE (including the VAN study) receives support through the BC Cancer Foundation and The VGH+UBC Hospital Foundation (authors AT, BG, DGH, and MSA). The AOV study is supported by the Canadian Institutes of Health Research (MOP86727). The Gynaecological Oncology Biobank at Westmead, a member of the Australasian Biospecimen Network-Oncology group, was funded by the National Health and Medical Research Council Enabling Grants ID 310670 & ID 628903 and the Cancer Institute NSW Grants ID 12/RIG/1-17 & 15/RIG/1-16. The Australian Ovarian Cancer Study Group was supported by the U.S. Army Medical Research and Materiel Command under DAMD17-01-1-0729, The Cancer Council Victoria, Queensland Cancer Fund, The Cancer Council New South Wales, The Cancer Council South Australia, The Cancer Council Tasmania and The Cancer Foundation of Western Australia (Multi-State Applications 191, 211 and 182) and the National Health and Medical Research Council of Australia (NHMRC; ID199600; ID400413 and ID400281). BriTROC-1 was funded by Ovarian Cancer Action (to IAM and JDB, grant number 006) and supported by Cancer Research UK (grant numbers A15973, A15601, A18072, A17197, A19274 and A19694) and the National Institute for Health Research Cambridge and Imperial Biomedical Research Centres. Samples from the Mayo Clinic were collected and provided with support of P50 CA136393 (E.L.G., G.L.K, S.H.K, M.E.S.)

A gentle introduction to Girard's Transcendental Syntax for the linear logician

The Transcendental Syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, ...) is no more primitive but computation is. All the logical entities and activities will be presented as formatting on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the Transcendental Syntax is a model of computation I call "stellar resolution" which is basically a reformulation logic-free Robinson's first order clausal resolution with a dynamics related to tiling models. An initial goal of the Transcendental Syntax is to retrieve linear logic from this new framework In particular, this model naturally encodes cut-elimination for proof-structures. By using ideas from realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Finally, generalising ideas from the theory of proof-nets, we able to express an idea unit testing: we can encode a computational object (typically the computational content of a proof) and some tests certifying its logical correctness (that it is indeed a valid proof of some formula)